/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */

package gui;


import java.util.List;
import javax.swing.AbstractListModel;
import logicaDePredicados.PredicateLogic;

/**
 *
 * @author Francisco Gindre
 */
public class PredicateLogicListModel  extends AbstractListModel{
    private List<PredicateLogic> list;
    public PredicateLogicListModel (List<PredicateLogic> list){
        this.list= list;


    }

    @Override
    public int getSize() {
        return list.size();
    }

    @Override
    public Object getElementAt(int index) {
        return list.get(index);
    }

}
